Browsing by Subject "Uncertain processing"

Now showing items 1-1 of 1

    • Article  

      On the automated implementation of time-based Paxos using the IOA compiler 

      Georgiou, Chryssis; Hadjiprocopiou, Procopis; Musiał, Peter M. (2010)
      Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...